| emsoft | participants

Sanjit A. Seshia

Program Committees:
2010 and 2023
.

EMSOFT 2025: 25th International Conference on Embedded Software

Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware

Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Magnus Mæhlum, Martin Schoeberl, Linh Thi Xuan Phan, Jeronimo Castrillon, Sanjit A. Seshia, and Edward A. Lee

EMSOFT 2023: 23rd International Conference on Embedded Software

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia

EMSOFT 2014: 14th International Conference on Embedded Software

CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory

Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, and Sanjit A. Seshia

Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing

Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia

EMSOFT 2011: 11th International Conference on Embedded Software

Synthesis of Optimal Switching Logic for Hybrid Systems

Susmit Jha, Sanjit A. Seshia, and Ashish Tiwari